Yves Bertot gave a talk on Coq in the Café-In series of seminars for all publics of Inria personnel.
Yves Bertot gave a general presentation on Coq in the Doctoral seminar of Inria Sophia Antipolis Méditerranée.